Formal Specification of Relational Model of Data in Z-notation
نویسنده
چکیده
The aim of this paper is to specify formally the Relational Model of Data. This specification could be extended to cover Object-Relational Model of Data and Data Streams. 1. Introduction. In this paper, a Relational Model of Data (RMD) is specified following its original presentation given in [1]. Z-notation is used as formal notation. It is now an international standard [2]. The original presentation of RDM is not formalized, nor detailed or consistent. It contains many open topics, which have been solved later in different ways. In a formal specification such topics could not be evaded. The investigation on the topic shows that there is only one attempt in that direction [3]. It is a Master Thesis that is very huge and impractical to be used as a basis for any extensions.
منابع مشابه
Formal Specification of a Data Dictionary for an Extended ER Data Model
A formal definition of the data dictionary for an extended entity-relationship data model is described. Extensions should allow greater semantic expressiveness and more precise modelling, while retaining ease of use, intuitiveness and flexibility. Basic concepts of the model are formally defined using the Z notation, and an enhanced graphical notation is also proposed. Furthermore, a simple tra...
متن کاملThe formal specification of ORN semantics
Object Relationship Notation (ORN) is a declarative scheme that permits a variety of common types of relationships to be conveniently defined to a Database Management System (DBMS), thereby allowing the DBMS to automatically enforce their semantics. Though first proposed for object DBMSs, ORN is applicable to any data model that represents binary entity-relationships or to any DBMS that impleme...
متن کاملAn introduction to Z and formal specifications
This article is an introduction to the description of information systems using formal, mathematical specifications written in the Z notation, and to the refinement of these specifications into rigorously-checked designs. The first part introduces the idea of a formal specification using a simple example: that of a “birthday book” in which people’s birthdays can be recorded, and which is able t...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملA model for specification, composition and verification of access control policies and its application to web services
Despite significant advances in the access control domain, requirements of new computational environments like web services still raise new challenges. Lack of appropriate method for specification of access control policies (ACPs), composition, verification and analysis of them have all made the access control in the composition of web services a complicated problem. In this paper, a new indepe...
متن کامل